Auflistung Universitätsbibliographie nach Autor "Heckeler, Patrick"

Anzeige der Dokumente 1-6 von 6

Accelerated Model-Based Robustness Testing of State Machine Implementations

Heckeler, Patrick; Eichelberger, Hanno; Kropf, Thomas; Ruf, Jürgen; Huster, Stefan; Burg, Sebastian; Rosenstiel, Wolfgang; Schlich, Bastian (2013)
Accelerated Robustness Testing of State-Based Components using Reverse Execution

Heckeler, Patrick; Schlich, Bastian; Kropf, Thomas; Eichelberger, Hanno; Ruf, Jürgen; Huster, Stefan; Burg, Sebastian; Rosenstiel, Wolfgang (2013)
Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen

Eichelberger, Hanno; Huster, Stefan; Burg, Sebastian; Ruf, Jürgen; Kropf, Thomas; Schlich, Bastian; Rosenstiel, Wolfgang; Heckeler, Patrick (2014)
Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter Software

Eichelberger, Hanno; Heckeler, Patrick; Ruf, Jürgen; Huster, Stefan; Burg, Sebastian; Kropf, Thomas; Rosenstiel, Wolfgang; Greiner, Thomas (2014)
Increasing Software Reliability by Integrating Formal Verification and Robustness Testing

Huster, Stefan; Macic, Merdin; Burg, Sebastian; Eichelberger, Hanno; Heckeler, Patrick; Ruf, Jürgen; Kropf, Thomas; Rosenstiel, Wolfgang (2014)
Optimierte Robustheitstests für zustandsbehaftete Softwarekomponenten / 1. Aufl.

Heckeler, Patrick (2014)

Anzeige der Dokumente 1-6 von 6

Stöbern